(define t1
  (print (let ((x 1))
	   ((local-syntax m (lambda (exp env) (syntax-quote x))
			  (lambda (x)
			    (m))) 5))))
